Método bi-fase para la conceptualización de ontologías basado en meta-modelos

RESUMEN Una ontología proporciona una terminología unificada, completa y coherente de un determinado dominio que puede ser utilizada de manera consistente, precisa y adecuada en diferentes aplicaciones. Para construir ontologías, se han elaborado distintas metodologías en los últimos años. Sin embargo, salvo METHONTOLOGY, ninguna de ellas propone y describe una etapa de conceptualización. Esta situación en el plano metodológico se proyecta en el plano tecnológico. Los entornos de desarrollo de ontologías están pensados para codificar las ontologías directamente en los lenguajes de implementación, sin realizar una etapa de conceptualización previa. Esto origina que, durante el desarrollo de las ontologías, se aborden dos problemas simultáneamente, uno de modelización y otro puramente tecnológico, pues quienes están desarrollando la ontología analizan los conocimientos considerando, en todo momento, la tecnología que se utiliza para implementarlos. Por otra parte, tal y como se ha comprobado en este trabajo, diferentes ontologías tienen distintas necesidades de modelización; no obstante, los entornos software de desarrollo de ontologías utilizan esquemas de modelización fijos y predeterminados. Las aportaciones que se hacen en este trabajo para enmendar las carencias expuestas anteriormente se pueden resumir en: 1. Elaboración de un método bi-fase de conceptualización flexible de ontologías. En la primera fase se especifica, se conceptualiza, se formaliza y se implementa el esquema de conceptualización que se va a seguir durante el desarrollo de la ontología de dominio y, en la segunda fase, se conceptualiza e implementa la ontología de dominio siguiendo el esquema descrito en la fase anterior. Para llevar a cabo la conceptualización del esquema de conceptualización sobre el cual se construirá la ontología de dominio, en este trabajo se propone un método para elaborar meta-modelos conceptuales que definan declarativamente esquemas de conceptualización en el nivel de conocimientos. Además, se ha elaborado un lenguaje formal para formalizar los meta-modelos en el nivel simbólico llamado LBIR {Language for Building Intermedíate Representations). Este lenguaje formal es tan expresivo como la notación utilizada para crear meta-modelos conceptuales. Con el propósito de facilitar la construcción de meta-modelos, se propone un esquema de conceptualización de referencia, al cual se pueden añadir o quitar elementos de conceptualización según las necesidades de modelización de una ontología concreta. Tal esquema de conceptualización está expresado formalmente en LBIR, y permite modelizar los mismos componentes que la parte estática de los lenguajes clásicos de implementación de ontologías. utilizando el método propuesto en este trabajo, los modelos conceptuales obtenidos son explícitos y lo suficientemente precisos como para poder generar, con el software adecuado, la ontología en un lenguaje computable. 2. Construcción de un entorno tecnológico que da soporte al método propuesto: Ontology Design Environment (ODE). Este entorno software automatiza la transformación de un esquema de conceptualización descrito con LBIR en un esquema de base de datos relacional sin pérdida de expresividad. Además, da soporte en la elaboración del modelo conceptual de la ontología de dominio, ayuda en la verificación de dicho modelo, y permite la traducción automática y directa de la conceptualización a la implementación de una ontología de dominio en el lenguaje Ontolingua. ODE manipula esquemas de conceptualización que están descritos de manera declarativa y que no están embebidos en el programa, por consiguiente, un cambio en el esquema de conceptualización no obliga a cambiar el programa. Aunque la utilización tanto del método como del entorno software se ha realizado fundamentalmente en el área de las ontologías, también se han hecho pruebas en otras áreas distintas. ABSTRACT An ontology provides an unified, complete and coherent terminology oí a given domain that can be used in a consistent, accurate and suitable way in different applications. During the last years, different methodoíogies have been elaborated for building ontologies. Nevertheless, except METHONTOLOGY, there is no methodology proposing and describing a conceptualisation phase. This situation at metliodological level is projected at technologicaí leve!. Technologicaí environments for developing ontologies are thought for codifying ontologies directly using implementation languages, without carrying out a previous conceptualisation phase. This provokes that two problems are tackied simultaneously during the development of an ontology, one of modeiisation and another purely technologicaí. Indeed, the knowledge is analysed considering, all the time, the technology to be used for implementing this knowledge. On the other hand, as it is presented in this work, different ontologies have different needs of modeiisation. However, software environments for developing ontologies use fixed and predetermined modeiisation schemas. The contributions of this work for correcting the exposed shortages can be summarised in the following way: 1. Elaboration of a bi-phase method for conceptuaiising ontologies. In the first phase, the specification, conceptualisation, formalisation and implementation of the conceptualisation schema to be used during the ontology development is carried out. In the second phase, the domain ontology is conceptualised following the schema described in the previous phase. A method for elaborating conceptual meta-models is proposed for carrying out the conceptualisation of the conceptualisation schema. These meta-models define declaratively conceptualisation schemas at the knowledge level. Besides, a formal language elaborated for formalísing meta-models at the symbolic level, called LBIR, {Language for Building Intermedíate Representations), has been. This formal language is as expressive as the notation used for creating conceptual meta-models. To facilítate the building of meta-models, a reference conceptualisation schema is proposed. It is possible to add and remove conceptualisation elements to and from this reference schema according to the modeiisation needs of each ontology. Such conceptualisation schema is formally expressed in LBIR, and it can modelise the same components as the static part of the classic languages for implementing ontologies. Using the method proposed in this work, the obtained conceptual models are explicit and accurate enough to genérate, using the suitable software, the ontology in a computable language. 2. Building of a technological environment that supports the proposed method: Ontology Design Environment (ODE). This software environment automates the transformation, without loss of expressiveness, from a conceptualisation schema described in LBIR to a relational datábase schema. Besides, it supports the elaboration of the conceptual model of the domain ontology, it helps in its verification, and it allows the direct and automatic translation from the conceptualisation to the implementation of a domain ontology in Ontolingua language. ODE manipulates conceptualisation schemas that are described in a declarative way, and that are not soaked up in the program. Therefore, a changa in the conceptualisation schema does not forcé a change in the program. Although the used both the method and software environment has been carried out essentially ¡n the área of ontologies, proofs have been made in other áreas

Communication: Virial coefficients and demixing in highly asymetric binary additive hard-sphere mixtures

Publicado en: J. Chem. Phys. 138, 161104 (2013) DOI: 10.1063/1.4803097Se revisa el problema de la disgregación de una mezcla binaria fluida con aditivos altamente asimétricos de esferas duras. Se presenta una comparación entre los resultados previos obtenidos usando expansiones de viriales truncados para tres relaciones de tamaño finito; con ellos se obtiene el mismo enfoque en el caso extremo en el que uno de los componentes consiste en partículas puntuales. Dado que este último sistema es conocido por no exhibir la segregación de líquido fluido, la similitud observada en el comportamiento de las constantes críticas surgidas en la serie truncada en todos los casos, si bien no es concluyente, podrá emitir con serias dudas como la existencia real de un separador de mezclas en la transición de líquido a fluido es de tamaños dispares y de aditivos binarios en mezclas de esferas duras.The problem of demixing in a binary fluid mixture of highly asymmetric additive hard spheres is revisited. A comparison is presented between the results derived previously using truncated virial expansions for three finite size ratios with those that one obtains with the same approach in the extreme case in which one of the components consists of point particles. Since this latter system is known not to exhibit fluid-fluid segregation, the similarity observed for the behavior of the critical constants arising in the truncated series in all instances, while not being conclusive, may cast serious doubts as to the actual existence of a demixing fluid-fluid transition in disparate-sized binary additive hard-sphere mixtures.Andrés Santos Reyes ha sido financiado por el Gobierno de España a través del proyecto FIS2010-16587 (I+D+i) y por la Junta de Extremadura (España), ayuda GR10158 parcialmente financiada con Fondos FEDE

Ontologías y Web Semántica 2005. Resumen del taller

En este artículo se resumen los resultados obtenidos en el taller “Ontologías y Web Semántica 2005”, que fue celebrado el día 14 de noviembre de 2005 en Santiago de Compostela, en el contexto de la Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA2005)

Estructura de clase, distribución del ingreso y políticas públicas : Una aproximación al caso argentino en la etapa post-neoliberal

Las políticas estatales suelen ser presentadas en su implementación con carácter universal o centradas en un sector de la población en situación de riesgo –“los pobres”–. Las políticas llevadas a cabo en la última década en nuestro país, como el Salario Mínimo Vital y Móvil, el “blanqueo” laboral, los planes sociales, etc., parecieran haber provocado una disminución de los niveles de desigualdad. Sin embargo, tales afirmaciones obvian el impacto diferencial de las políticas mencionadas sobre las distintas fracciones de la clase trabajadora. Para entender la dinámica distributiva de los años recientes, creemos que es necesario contemplar las características de la economía argentina –capitalista, periférica y dependiente–; comprender el carácter clasista de las políticas estatales y, a fin de interpretar el impacto diferencial de dichas políticas, realizar el estudio desde la perspectiva de clases sociales.Facultad de Humanidades y Ciencias de la Educació

Estructura de clase, distribución del ingreso y políticas públicas : Una aproximación al caso argentino en la etapa post-neoliberal

Las políticas estatales suelen ser presentadas en su implementación con carácter universal o centradas en un sector de la población en situación de riesgo –“los pobres”–. Las políticas llevadas a cabo en la última década en nuestro país, como el Salario Mínimo Vital y Móvil, el “blanqueo” laboral, los planes sociales, etc., parecieran haber provocado una disminución de los niveles de desigualdad. Sin embargo, tales afirmaciones obvian el impacto diferencial de las políticas mencionadas sobre las distintas fracciones de la clase trabajadora. Para entender la dinámica distributiva de los años recientes, creemos que es necesario contemplar las características de la economía argentina –capitalista, periférica y dependiente–; comprender el carácter clasista de las políticas estatales y, a fin de interpretar el impacto diferencial de dichas políticas, realizar el estudio desde la perspectiva de clases sociales.Facultad de Humanidades y Ciencias de la Educació

Estructura de clase, distribución del ingreso y políticas públicas : Una aproximación al caso argentino en la etapa post-neoliberal

Las políticas estatales suelen ser presentadas en su implementación con carácter universal o centradas en un sector de la población en situación de riesgo –“los pobres”–. Las políticas llevadas a cabo en la última década en nuestro país, como el Salario Mínimo Vital y Móvil, el “blanqueo” laboral, los planes sociales, etc., parecieran haber provocado una disminución de los niveles de desigualdad. Sin embargo, tales afirmaciones obvian el impacto diferencial de las políticas mencionadas sobre las distintas fracciones de la clase trabajadora. Para entender la dinámica distributiva de los años recientes, creemos que es necesario contemplar las características de la economía argentina –capitalista, periférica y dependiente–; comprender el carácter clasista de las políticas estatales y, a fin de interpretar el impacto diferencial de dichas políticas, realizar el estudio desde la perspectiva de clases sociales.Facultad de Humanidades y Ciencias de la Educació

Building a Chemical Ontology using Methontology and the Ontology Design Environment

METHONTOLOGY PROVIDES GUIDELINES FOR SPECIFYING ONTOLOGIES AT THE KNOWLEDGE LEVEL, AS A SPECIFICATION OF A CONCEPTUALIZATION. ODE ENABLES ONTOLOGY CONSTRUCTION, COVERING THE ENTIRE LIFE CYCLE AND AUTOMATICALLY IMPLEMENTING ONTOLOGIE

OBOE: an Explainable Text Classification Framework

Explainable Artificial Intelligence (XAI) has recently gained visibility as one of the main topics of Artificial Intelligence research due to, among others, the need to provide a meaningful justification of the reasons behind the decision of black-box algorithms. Current approaches are based on model agnostic or ad-hoc solutions and, although there are frameworks that define workflows to generate meaningful explanations, a text classification framework that provides such explanations considering the different ingredients involved in the classification process (data, model, explanations, and users) is still missing. With the intention of covering this research gap, in this paper we present a text classification framework called OBOE (explanatiOns Based On concEpts), in which such ingredients play an active role to open the black-box. OBOE defines different components whose implementation can be customized and, thus, explanations are adapted to specific contexts. We also provide a tailored implementation to show the customization capability of OBOE. Additionally, we performed (a) a validation of the implemented framework to evaluate the performance using different corpora and (b) a user-based evaluation of the explanations provided by OBOE. The latter evaluation shows that the explanations generated in natural language express the reason for the classification results in a way that is comprehensible to non-technical users

Estructura de clase, distribución del ingreso y políticas públicas : Una aproximación al caso argentino en la etapa post-neoliberal

En el período 2003-2009 parecieran reducirse en Argentina los niveles de desigualdad de ingresos respecto de la década de 1990. En ocasiones, dicha dinámica distributiva suele relacionarse a ciertas políticas públicas aplicadas por el Estado. Sin embargo, creemos que, generalmente, estos análisis no contemplan el impacto diferenciado de las políticas de ingresos -tales como el Salario Mínimo vital y Móvil, la Asignación Universal por Hijo, el Plan Jefes, el Plan Familias, entre otras- sobre los trabajadores que pertenecen a diferentes estratos al interior de los sectores populares. En el presente trabajo, intentamos realizar una estratificación social por clases sociales, similar a la propuesta por Torrado (1994), para evaluar dos cuestiones clave en relación a las políticas de ingresos aplicadas en la última década. Primero, pretendemos medir el impacto diferencial de las políticas mencionadas sobre los diferentes estratos al interior de los sectores populares. En segundo lugar, la estratificación mencionada nos permite indagar sobre el origen de estas políticas públicas y en qué medida las mismas son el resultado de las estrategias de lucha de los diferentes estratos que conforman las clases populares. La fuente de información prioritaria para realizar el estudio será la Encuesta Permanente de Hogares diseñada por el INDEC.Facultad de Humanidades y Ciencias de la Educació